$\forall$$b$:$\mathbb{B}$, $x$:Top. if $b$ then $x$ else $x$ fi  $\sim$ $x$